- верификация функциональной корректности
- functional correctness verification
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
Русско-английский словарь по радиоэлектронике. — Руссо. 2005.
ГОСТ Р 51904-2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию — Терминология ГОСТ Р 51904 2002: Программное обеспечение встроенных систем. Общие требования к разработке и документированию оригинал документа: 3.1 алгоритм: Конечное множество четко определенных правил, которые задают последовательность действий … Словарь-справочник терминов нормативно-технической документации